// - /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle
impl<Item, I: Iterator<Item = Item>, C: Context> ContextIter for ContextIterWrapper<Item, I, C> {
pub fn constructor_ult<C: Context>(ctx: &mut C, arg0: Type, arg1: Value, arg2: Value) -> Value {
pub fn constructor_ule<C: Context>(ctx: &mut C, arg0: Type, arg1: Value, arg2: Value) -> Value {
pub fn constructor_ugt<C: Context>(ctx: &mut C, arg0: Type, arg1: Value, arg2: Value) -> Value {
pub fn constructor_uge<C: Context>(ctx: &mut C, arg0: Type, arg1: Value, arg2: Value) -> Value {
pub fn constructor_slt<C: Context>(ctx: &mut C, arg0: Type, arg1: Value, arg2: Value) -> Value {
pub fn constructor_sle<C: Context>(ctx: &mut C, arg0: Type, arg1: Value, arg2: Value) -> Value {
pub fn constructor_sgt<C: Context>(ctx: &mut C, arg0: Type, arg1: Value, arg2: Value) -> Value {
pub fn constructor_sge<C: Context>(ctx: &mut C, arg0: Type, arg1: Value, arg2: Value) -> Value {
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 360.
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 369.
pub fn constructor_swizzle<C: Context>(ctx: &mut C, arg0: Type, arg1: Value, arg2: Value) -> Value {
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 378.
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 387.
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 396.
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 405.
pub fn constructor_smin<C: Context>(ctx: &mut C, arg0: Type, arg1: Value, arg2: Value) -> Value {
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 414.
pub fn constructor_umin<C: Context>(ctx: &mut C, arg0: Type, arg1: Value, arg2: Value) -> Value {
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 423.
pub fn constructor_smax<C: Context>(ctx: &mut C, arg0: Type, arg1: Value, arg2: Value) -> Value {
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 432.
pub fn constructor_umax<C: Context>(ctx: &mut C, arg0: Type, arg1: Value, arg2: Value) -> Value {
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 441.
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 450.
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 459.
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 468.
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 477.
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 486.
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 495.
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 504.
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 513.
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 522.
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 531.
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 540.
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 549.
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 558.
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 567.
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 576.
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 585.
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 594.
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 603.
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 612.
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 621.
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 630.
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 639.
pub fn constructor_global_value<C: Context>(ctx: &mut C, arg0: Type, arg1: GlobalValue) -> Value {
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 648.
pub fn constructor_symbol_value<C: Context>(ctx: &mut C, arg0: Type, arg1: GlobalValue) -> Value {
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 657.
pub fn constructor_tls_value<C: Context>(ctx: &mut C, arg0: Type, arg1: GlobalValue) -> Value {
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 666.
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 675.
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 684.
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 693.
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 702.
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 711.
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 720.
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 729.
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 738.
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 747.
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 756.
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 765.
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 774.
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 783.
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 792.
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 801.
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 810.
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 819.
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 828.
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 837.
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 846.
pub fn constructor_iadd<C: Context>(ctx: &mut C, arg0: Type, arg1: Value, arg2: Value) -> Value {
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 855.
pub fn constructor_isub<C: Context>(ctx: &mut C, arg0: Type, arg1: Value, arg2: Value) -> Value {
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 864.
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 873.
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 882.
pub fn constructor_imul<C: Context>(ctx: &mut C, arg0: Type, arg1: Value, arg2: Value) -> Value {
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 891.
pub fn constructor_umulhi<C: Context>(ctx: &mut C, arg0: Type, arg1: Value, arg2: Value) -> Value {
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 900.
pub fn constructor_smulhi<C: Context>(ctx: &mut C, arg0: Type, arg1: Value, arg2: Value) -> Value {
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 909.
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 918.
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 927.
pub fn constructor_udiv<C: Context>(ctx: &mut C, arg0: Type, arg1: Value, arg2: Value) -> Value {
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 936.
pub fn constructor_sdiv<C: Context>(ctx: &mut C, arg0: Type, arg1: Value, arg2: Value) -> Value {
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 945.
pub fn constructor_urem<C: Context>(ctx: &mut C, arg0: Type, arg1: Value, arg2: Value) -> Value {
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 954.
pub fn constructor_srem<C: Context>(ctx: &mut C, arg0: Type, arg1: Value, arg2: Value) -> Value {
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 963.
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 972.
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 981.
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 990.
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 999.
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 1008.
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 1017.
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 1026.
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 1035.
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 1044.
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 1053.
pub fn constructor_band<C: Context>(ctx: &mut C, arg0: Type, arg1: Value, arg2: Value) -> Value {
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 1062.
pub fn constructor_bor<C: Context>(ctx: &mut C, arg0: Type, arg1: Value, arg2: Value) -> Value {
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 1071.
pub fn constructor_bxor<C: Context>(ctx: &mut C, arg0: Type, arg1: Value, arg2: Value) -> Value {
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 1080.
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 1089.
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 1098.
pub fn constructor_bor_not<C: Context>(ctx: &mut C, arg0: Type, arg1: Value, arg2: Value) -> Value {
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 1107.
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 1116.
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 1125.
pub fn constructor_bor_imm<C: Context>(ctx: &mut C, arg0: Type, arg1: Value, arg2: Imm64) -> Value {
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 1134.
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 1143.
pub fn constructor_rotl<C: Context>(ctx: &mut C, arg0: Type, arg1: Value, arg2: Value) -> Value {
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 1152.
pub fn constructor_rotr<C: Context>(ctx: &mut C, arg0: Type, arg1: Value, arg2: Value) -> Value {
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 1161.
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 1170.
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 1179.
pub fn constructor_ishl<C: Context>(ctx: &mut C, arg0: Type, arg1: Value, arg2: Value) -> Value {
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 1188.
pub fn constructor_ushr<C: Context>(ctx: &mut C, arg0: Type, arg1: Value, arg2: Value) -> Value {
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 1197.
pub fn constructor_sshr<C: Context>(ctx: &mut C, arg0: Type, arg1: Value, arg2: Value) -> Value {
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 1206.
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 1215.
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 1224.
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 1233.
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 1242.
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 1251.
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 1260.
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 1269.
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 1278.
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 1287.
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 1296.
pub fn constructor_fadd<C: Context>(ctx: &mut C, arg0: Type, arg1: Value, arg2: Value) -> Value {
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 1305.
pub fn constructor_fsub<C: Context>(ctx: &mut C, arg0: Type, arg1: Value, arg2: Value) -> Value {
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 1314.
pub fn constructor_fmul<C: Context>(ctx: &mut C, arg0: Type, arg1: Value, arg2: Value) -> Value {
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 1323.
pub fn constructor_fdiv<C: Context>(ctx: &mut C, arg0: Type, arg1: Value, arg2: Value) -> Value {
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 1332.
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 1341.
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 1350.
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 1359.
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 1368.
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 1377.
pub fn constructor_fmin<C: Context>(ctx: &mut C, arg0: Type, arg1: Value, arg2: Value) -> Value {
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 1386.
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 1395.
pub fn constructor_fmax<C: Context>(ctx: &mut C, arg0: Type, arg1: Value, arg2: Value) -> Value {
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 1404.
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 1413.
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 1422.
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 1431.
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 1440.
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 1449.
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 1458.
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 1467.
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 1476.
pub fn constructor_scalar_to_vector<C: Context>(ctx: &mut C, arg0: Type, arg1: Value) -> Value {
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 1485.
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 1494.
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 1503.
pub fn constructor_snarrow<C: Context>(ctx: &mut C, arg0: Type, arg1: Value, arg2: Value) -> Value {
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 1512.
pub fn constructor_unarrow<C: Context>(ctx: &mut C, arg0: Type, arg1: Value, arg2: Value) -> Value {
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 1521.
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 1530.
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 1539.
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 1548.
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 1557.
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 1566.
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 1575.
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 1584.
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 1593.
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 1602.
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 1611.
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 1620.
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 1629.
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 1638.
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 1647.
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 1656.
pub fn constructor_fcvt_to_uint_sat<C: Context>(ctx: &mut C, arg0: Type, arg1: Value) -> Value {
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 1665.
pub fn constructor_fcvt_to_sint_sat<C: Context>(ctx: &mut C, arg0: Type, arg1: Value) -> Value {
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 1674.
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 1683.
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 1692.
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 1701.
pub fn constructor_fcvt_low_from_sint<C: Context>(ctx: &mut C, arg0: Type, arg1: Value) -> Value {
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 1710.
pub fn constructor_iconcat<C: Context>(ctx: &mut C, arg0: Type, arg1: Value, arg2: Value) -> Value {
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 1719.
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 1728.
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 1737.
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 1746.
// Rule at /home/tomasz/projects/fuzz-tanssi-runtime/fuzz/target/x86_64-unknown-linux-gnu/debug/build/cranelift-codegen-246b63cff59c567e/out/clif_opt.isle line 1755.